AsmetaF: A Flattener for the ASMETA Framework

The ASMETA framework

The use of formal methods, based on rigorous mathematical foundations, is essential for system development. However, some skepticism exists against formal methods mainly due to the lack of tools supporting formal development, or to the tools’ loosely coupling that does not allow reuse of information. The integration and interoperability of tools is hard to accomplish, so preventing formal metho...

WikiNews : A World Flattener ?

New York Times columnist Thomas L. Friedman, has identified the “self-organising collaborative communities” on the net as one of the world’s ten flattening forces (Friedman, 2004). These communities have gathered individuals around areas of interest (Prahalad & Ramaswamy, 2004) and managed to create a new mode of production quite distinct from markets and hierarchies based around the concept of...

an investigation about the appropriate stochastic modeling framework for agricultural insurance pricing

با توجه به اینکه بیمه محصولات کشاورزی در ایران بیشتر جنبه ای حمایتی دارد و خسارات گزارش شده عموما بیش از حق بیمه های دریافت شده است، در این پایان نامه به جهت تعیین قیمت بیمه محصولات کشاورزی (گندم دیم) از فرآیندهای نوفه شلیک به عنوان مدلی مناسب استفاده شده است. بر اساس داده های صندوق بیمه کشاورزی از خسارات اعلام شده در سال زراعی 1388-1389 گندم دیم، در این پایان نامه حق بیمه خالص و ناخالص این محص...

a framework for identifying and prioritizing factors affecting customers’ online shopping behavior in iran

the purpose of this study is identifying effective factors which make customers shop online in iran and investigating the importance of discovered factors in online customers’ decision. in the identifying phase, to discover the factors affecting online shopping behavior of customers in iran, the derived reference model summarizing antecedents of online shopping proposed by change et al. was us...

A Framework for Urban Morphology with Respect to the Form